type If<T extends boolean, V, P> = T extends true ? V : P
